Vladimir Voevodsky - PDFSEARCH.IO - Document Search Engine

Vladimir Voevodsky
Results: 29

#	Item
21	Voevodsky’s Univalence Axiom in homotopy type theory ´ Steve Awodey, Alvaro Pelayo and Michael A. Warren Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Abstract algebra Homotopy type theory Homotopy group Homotopy Model category Vladimir Voevodsky Mathematical logic Type theory Out Homotopy theory Topology Mathematics
22	Voevodsky’s Univalence Axiom in Homotopy Type Theory Steve Awodey, Álvaro Pelayo, and Michael A. Warren T Add to Reading List Source URL: www.ams.org Language: English - Date: 2013-09-09 12:55:06 Homotopy type theory Homotopy group Homotopy Model category Vladimir Voevodsky Mathematical logic Type theory Algebraic topology Homotopy category Homotopy theory Topology Mathematics
23	Voevodsky’s Univalence Axiom in Homotopy Type Theory Add to Reading List Source URL: e-math.ams.org Language: English - Date: 2013-09-09 12:55:06 Homotopy type theory Homotopy group Homotopy Model category Vladimir Voevodsky Mathematical logic Type theory Algebraic topology Homotopy category Homotopy theory Topology Mathematics
24	ICM 2002 in Beijing The 2002 International Congress of Mathematicians (ICM), held in Beijing, China, August 20–29, Add to Reading List Source URL: www.ams.org Language: English - Date: 2003-01-30 12:00:47 Academia Chinese mathematicians International Congress of Mathematicians Differential geometers Laurent Lafforgue International Mathematical Union Fields Medal Vladimir Voevodsky Shiing-Shen Chern Mathematics Science Fields Medalists
25	Lecture notes on motivic cohomology Carlo Mazza Vladimir Voevodsky Add to Reading List Source URL: www.math.rutgers.edu Language: English - Date: 2006-07-20 06:21:09 Algebraic geometry Homological algebra Cohomology theories Homology theory Motive Motivic cohomology Cohomology Sheaf Alexander Grothendieck Abstract algebra Algebraic topology Mathematics
26	Univalent Foundations of Mathematics Talk by Vladimir Voevodsky September 5 , 2011 Add to Reading List Source URL: www.math.ias.edu Language: English - Date: 2011-12-13 11:34:22 Category theory Topology Higher category theory Algebraic structures Type theory Zermelo–Fraenkel set theory Groupoid Set theory New Foundations Mathematics Abstract algebra Homotopy theory
27	The Mathematical Work of the 2002 Fields Medalists Add to Reading List Source URL: www.ams.org Language: English - Date: 2003-01-03 11:09:19 Homological algebra Conjectures Algebraic topology Algebraic geometry K-theory Milnor conjecture Vladimir Voevodsky Motive Norm residue isomorphism theorem Abstract algebra Algebra Mathematics
28	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2000-02-28 14:57:36 Fields Medalists Andrei Suslin Algebraic topology Vladimir Voevodsky Cole Prize Homological algebra Motivic cohomology Cohomology Aise Johan de Jong Mathematics Abstract algebra Algebra
29	PDF Document Add to Reading List Source URL: www.austms.org.au Language: English - Date: 2004-11-21 23:57:02 George Szekeres Alberto Bressan Vladimir Voevodsky Applied mathematics Mathematics George Szekeres Medal Australian Mathematical Society

UPDATE